Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Éric Tanter (University of Chile), 2-12 July 2013, in the context of the Associate Team REAL.

• Takahiro Hirofuchi (AIST, Japan), 1 Jan-31 Dec 2013, in the context and with the financial support of the ANR SONGS project.

Internships

• Ismael FIGUEROA (from Apr 2013 until Jun 2013)

  • Compositional Reasoning About Aspect Interference (this leads to a publication in Modularity'14 [33] ).

  • Institution: University of Chile (Chile)